Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
651	Michael Shulman University of San Diego Homotopy type theory: towards Grothendieck’s dream Several decades ago, Grothendieck proposed that “∞-groupoids” could replace topological spaces as a context for homotopy Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2013-06-21 05:36:37
652	BRICS Basic Research in Computer Science BRICS RSMcKinna & Pollack: Some Lambda Calculus and Type Theory Formalized Some Lambda Calculus and Type Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 1998-01-16 05:32:52
653	A Model of Type Theory in Simplicial Sets A brief introduction to Voevodsky’s Homotopy Type Theory T. Streicher Fachbereich 4 Mathematik, TU Darmstadt Schlossgartenstr. 7, DDarmstadt Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2011-11-12 04:58:44
654	Modeling set theory in homotopy type theory Jérémy Ledent Supervised by Bas Spitters & Freek Wiedijk Radboud University of Nijmegen, Netherlands May 19 to August 08, 2014 Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2015-04-28 15:21:22
655	Towards Constructive Homological Algebra in Type Theory Thierry Coquand and Arnaud Spiwack 1 2 Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:17:46
656	G¨odel’s system T as a precursor of modern type theory Gilles Dowek Preliminary version The name “type theory” has been given to several theories that can be classified in two rough categories: the early type theo Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2011-01-28 11:34:53
657	V erified Computing in Homological Algebra A Journey Exploring the Power and Limits of Dependent Type Theory Arnaud Spiwack Add to Reading List Source URL: assert-false.net Language: English - Date: 2012-02-29 08:16:48
658	The Strength of Martin-Löf Type Theory with the Logical Framework (Work in Progress) Anton Setzer Swansea University, UK 1. Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2008-12-22 16:55:21
659	Page 1 of 7 C++ Theory and Practice Mixing const with Type Names The C/C++ Users Journal December, 1996 Add to Reading List Source URL: www.dansaks.com Language: English - Date: 2009-01-27 23:17:19
660	Thesis for the Degree of Doctor of Philosophy Formalizing Refinements and Constructive Algebra in Type Theory ¨ Anders Mortberg Add to Reading List Source URL: gupea.ub.gu.se Language: English - Date: 2014-11-21 21:31:13

UPDATE